
#include "main.h"
#include "FreeRTOS.h"
#include "task.h"
#include "semphr.h"
#include "led.h"
// main之前初始化，主要初始化 中断向量表和系统时钟
void SystemInit()
{
}
void core0_task1(void *arg);
extern void core_start(void);

int main(void)
{
	IO_WR(CLOCKS_BASE + 0x48, 0x880); // Enable clk_peri
	reset_release_wait(RESET_IO_BANK0);
	reset_release_wait(RESET_PADS_BANK0);

	uart();
	char str[] = "hello rp2040\r\n";
	uart0_send(str, sizeof(str));
	int coreID = get_core_num();
	printf("hello rp2040 core:%d", coreID);

	// core_start();
	xTraceEnable(TRC_START);

	xTaskCreate(core0_task1,"core0_task",256,NULL,1,NULL);
	vTaskStartScheduler();

	// uart();
	// char str[] = "hello rp2040\r\n";
	// uart0_send(str, sizeof(str));
	// int coreID = get_core_num();
	// printf("hello rp2040 core:%d", coreID);

	// led_flash_loop();
	while(1)
	{

	}
}

void core0_task1(void *arg)
{
	led_init();
	while (1)
	{

		gpio_set(25, 1);
		vTaskDelay(500);
		gpio_set(25, 0);
		vTaskDelay(500);
	}
}